def f(x: None): ...
